double pipe (||) - Deutsch Englisch Wörterbuch